Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
891	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-16 17:46:25 Logic in computer science Assertion Spreadsheet E Postcondition Microsoft Excel Precondition Software engineering Theoretical computer science Computing
892	Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-06-23 07:40:14 Logic in computer science Control flow Object-oriented programming Program logic Procedural programming languages Postcondition Exception handling Eiffel Precondition Software engineering Computing Computer programming
893	Automated Identification of Cryptographic Primitives in Binary Code with Data Flow Graph Isomorphism Pierre Lestringant* Frédéric Guihéry* Add to Reading List Source URL: www.amossys.fr Language: English - Date: 2015-05-07 04:40:10 Algorithm Mathematical logic Theoretical computer science Advanced Encryption Standard Depth-first search Directed acyclic graph Digital signature Cryptography Mathematics Search algorithms
894	Assessment companion – England Overview As Apps for Good is a flexible framework, it is difficult to provide specific, prescriptive guidance on how to formally assess each topic within the course. However, in this docu Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2015-02-12 07:56:57 Programming language Theoretical computer science Algorithm Mathematical logic
895	A fuzzy approach to Public transport quality of service based on AVM data collection: the real case of Rome Bus System S. Carrese, S. La Spada “Roma Tre” University, Italy ABSTRACT Add to Reading List Source URL: www.mech.kuleuven.be Language: English - Date: 2011-05-31 08:59:11 Mathematical logic Transportation planning Control engineering Artificial intelligence Logic in computer science Quality of service Fuzzy control system Fuzzy set On-time performance Transport Logic Fuzzy logic
896	State History List Timeline Description Full Functional Test Full Functional Test Full Functional Test Add to Reading List Source URL: www.atmos.caf.dlr.de Language: English - Date: 2005-12-15 07:15:22 Computing Computer science Logic in computer science OBJ Software engineering
897	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
898	Polymorphic Embedding of DSLs Christian Hofer Klaus Ostermann Tillmann Rendel Adriaan Moors Add to Reading List Source URL: www.mathematik.uni-marburg.de Language: English - Date: 2008-08-04 08:41:32 Logic in computer science Type theory Programming language semantics Functional languages Denotational semantics Domain-specific language Scala Semantics Programming language Computing Software engineering Theoretical computer science
899	PDF Document Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2009-06-06 13:08:44 Unified Modeling Language Graph rewriting Logic in computer science Graph theory Combinatory logic UnQL Model transformation Data management Theoretical computer science Mathematics
900	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory

UPDATE